Bma: Visual Tool for Modeling and Analyzing Biological Networks
نویسندگان
چکیده
BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis— whether they be proofs or counterexamples—are represented visually. This paper describes the approach to modeling used in bma and also notes soon-to-be-released extensions to the tool. Tool location: http://biomodelanalyzer.research.microsoft.com/ 1
منابع مشابه
TinkerCell: modular CAD tool for synthetic biology
BACKGROUND Synthetic biology brings together concepts and techniques from engineering and biology. In this field, computer-aided design (CAD) is necessary in order to bridge the gap between computational modeling and biological data. Using a CAD application, it would be possible to construct models using available biological "parts" and directly generate the DNA sequence that represents the mod...
متن کاملModeling of Texture and Color Froth Characteristics for Evaluation of Flotation Performance in Sarcheshmeh Copper Pilot Plant, Using Image Analysis and Neural Networks
Texture and color appearance of froth is a discreet qualitative tool for evaluating the performance of flotation process. The structure of a froth developed on the flotation cell has a significant effect on the grade and recovery of copper concentrate. In this work, image analysis and neural networks have been implemented to model and control the performance of such a system. The result reveals...
متن کاملBringing LTL Model Checking to Biologists
The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction networks and stability analysis without requiring users to be proficient computer programmers. Whilst stability is a useful specification for testing many systems, testing te...
متن کاملModeling, Designing and Evaluating A Social Network in the Field of Health
Background and Aim: Social networks that provide users with health data not only educate them but also play an active role in the health decision-making process. Health social networks, in addition to being a good tool for better patient communication with health care providers, can play an effective role in connecting similar patients with each other to receive social support. Social networkin...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کامل